Nuprl Definition : true 12,41

True == 0   
latex


DefinitionsTrue, t  T
FDL editor aliasestrue

origin